Semantics of programming languages

Results: 156



#Item
11

Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference:

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-04-19 13:50:48
    12

    Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-04-01 08:57:42
      13

      Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2016-11-15 08:30:18
        14

        Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2016-11-26 08:22:59
          15

          Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2014-03-24 02:48:08
            16

            Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-04-12 10:45:56
              17

              Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-03-22 14:28:09
                18

                Concepts of Programming Languages – Recitation 3: More Natural Operational Semantics Oded Padon Reference:

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-04-01 08:57:39
                  19

                  Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

                  Add to Reading List

                  Source URL: www2.tcs.ifi.lmu.de

                  - Date: 2011-09-19 12:59:27
                    20Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system

                    A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    Language: English - Date: 2001-06-27 15:19:02
                    UPDATE